1. <A> First Course in Mathematical Logic and Set Theory

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05

رده :
QA
9
.
O4F5
2016
E-Book
,

2. A first course in mathematical logic and set theory /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Mathematics,Set theory

رده :
QA9

3. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics

رده :
QA
9
.
G2413
1992

4. Bertrand Russell and the origins of the set-theoretic 'Paradoxes'

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791. Principles of mathematics

رده :
QA
9
.
G29

5. Bertrand Russell and the origins of the set-theoretic 'paradoxes'

پدیدآورنده :

کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)

موضوع : Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics

رده :
QA9
.
G2413
1992

6. Bertrand Russell and the origins of the set-theoretic 'paradoxes',Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics

رده :
QA
9
.
G2413
1992

7. Bridge to abstract mathematics /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory

8. Foundations of logic and mathematics: applications to computer science and cryptography

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics

رده :
QA
9
.
N53
2002

9. Foundations of logic and mathematics : applications to computer science and cryptography

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics

رده :
QA
9
.
N53
2002

10. Fundamentals of mathematical logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.

رده :
QA9
.
H527
2005

11. Sets, logic and categories

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C17
1999

12. Sets, logic, and categories

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C17
1999

13. Sets, logic, and categories

پدیدآورنده :

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

14. Sets, logic and categories

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C25S4

15. Sets, logic, and categories

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C17
1998

16. Sets, logic, and categories

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C3S4